<html>
<body>
报告没有 <code>#[NoReturn]</code> 的函数，这些函数总是通过调用其他 exitPoint 函数特性来停止其执行。
</body>
</html>